Survey of polynomial transformations between NP-complete problems
نویسندگان
چکیده
This paper aims at being a guide to understand polynomial transformations and polynomial reductions between NP-complete problems by presenting the methodologies for polynomial reductions/transformations and the differences between reductions and transformations. To this end the article shows examples of polynomial reductions/transformations and the restrictions to reduce/transform between NP-complete problems. Finally, this paper includes a digraph with the historical reductions/transformations between instances of NP-complete problems and introduces the term family of polynomial transformations. © 2011 Elsevier B.V. All rights reserved.
منابع مشابه
On Approximation Preserving Reductions : Complete Problems and Robust Measures
We investigate the well-known anomalous diierences in the approximability properties of NP-complete optimization problems. We deene a notion of polynomial time reduction between optimization problems, and introduce conditions guaranteeing that such reductions preserve various types of approximate solutions. We then prove that a weighted version of the satissability problem, the traveling salesp...
متن کاملOn Approximation Preserving Reductions: Complete Problems and Robust Measures (Revised Version)
We investigate the well-known anomalous differences in the approximability properties of NP-complete optimization problems. We define a notion of polynomial time reduction between optimization problems, and introduce conditions guaranteeing that such reductions preserve various types of approximate solutions. We then prove that a weighted version of the satisfiability problem, the traveling sal...
متن کاملTransforming co-NP Checks to Answer Set Computation by Meta-Interpretation
Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check” nature of NP problems: The property is encoded in a way such that polynomial size certificates for it correspond to stable models of a program. However, the problemsolving capacity of full disjunctive logic programs (DLPs) is bey...
متن کاملTowards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications
Answer set programming (ASP) with disjunction offers a powerful tool for declaratively representing and solving hard problems. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise and intuitive way, where the encoding reflects the typical “guess and check” nature of NP problems: The property is encoded in a way such that polynomial size certif...
متن کاملTwo Geometric Optimization Problems
We consider two optimization problems with geometric structures The rst one con cerns the following minimization problem termed as the rectilinear polygon cover problem Cover certain features of a given rectilinear polygon possibly with rectilinear holes with the minimum number of rectangles included in the polygon Depending upon whether one wants to cover the interior boundary or corners of th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Computational Applied Mathematics
دوره 235 شماره
صفحات -
تاریخ انتشار 2011